--- Code for 'https://github.com/Frege/frege/issues/332 Issue 332'
module tests.comp.Issue332 where

data I332Java a = pure native java.util.List

derive JavaType (I332Java a)
derive ArrayElement (I332Java a)

main = println "Yes, we can derive ArrayElement for generic Java type."